1. The seventeen provers of the world
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Data processing ; Algebra ; Computer programs ;
2. The seventeen provers of the world
پدیدآورنده : Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: (طهران)
موضوع : Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
